Constructive Matrix Theory for Higher-Order Interaction
نویسندگان
چکیده
منابع مشابه
Constructive Matrix Theory
We extend the technique of constructive expansions to compute the connected functions of matrix models in a uniform way as the size of the matrix increases. This provides the main missing ingredient for a non-perturbative construction of the φ 4 field theory on the Moyal four dimensional space.
متن کاملHigher Order Perturbation Theory: The Interaction Representation
Michael Fowler 03/07/06 The Interaction Representation Recall that in the first part of this course sequence, we discussed the Schrödinger and Heisenberg representations of quantum mechanics here. In the Schrödinger representation, the operators are time-independent (except for explicitly time-dependent potentials) the kets representing the quantum states develop in time. In the Heisenberg repr...
متن کاملHigher-Order Game Theory
In applied game theory the motivation of players is a key element. It is encoded in the payoffs of the game form and often based on utility functions. But there are cases were formal descriptions in the form of a utility function do not exist. In this paper we introduce a representation of games where players’ goals are modeled based on so-called higher-order functions. Our representation provi...
متن کاملHigher-Order Decision Theory
Classical decision theory models behaviour in terms of utility maximisation where utilities represent rational preference relations over outcomes. However, empirical evidence and theoretical considerations suggest that we need to go beyond this framework. We propose to represent goals by higherorder functions or operators that take other functions as arguments where the max and argmax operators...
متن کاملConstructive Negation in Extensional Higher-Order Logic Programming
Extensional higher-order logic programming has been recently proposed as an interesting extension of classical logic programming. An important characteristic of the new paradigm is that it preserves all the well-known properties of traditional logic programming. In this paper we enhance extensional higher-order logic programming with constructive negation. We argue that the main ideas underlyin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales Henri Poincaré
سال: 2019
ISSN: 1424-0637,1424-0661
DOI: 10.1007/s00023-019-00845-9